Hierarchical Concurrent Finite State Machines in Ptolemy
نویسندگان
چکیده
tics. For example, the co-design finite state machines We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is successfully integrated with synchronous dataflow (SDF) and discrete-event (DE) concurrency domains in Ptolemy. In this heterogeneous combination, the semantics of FSM, concurrency and hierarchy are naturally supported in a manner similar to hierarchical concurrent FSMs (HCFSMs). Unlike most formalisms that support HCFSMs, such as Statecharts and its variants, our scheme decouples the FSM from the concurrency models, enabling selection of the most appropriate concurrency model for the problem at hand.
منابع مشابه
Static Data ow and Heterochronous Data ow with Hierarchical FSMs in Ptolemy II
*charts is a formalism for combining nite state machines (FSMs) with various concurrent models of computation. In *charts, the emphasis is on separating the FSM semantics from the concurrency model semantics. Instead of de ning concurrency models, *charts shows how to combine hierarchical FSMs with various existing concurrency models. This paper discusses an implementation of a subset of the *c...
متن کاملFusing Dataflow with Finite State Machines
The dataflow model of computation has been used extensively in signal processing design, and is particularly convenient for numeric-intensive computation of applications. Finite state machines (FSMs) have been developed to solve a different class of problems, namely sequential control. In this project, we propose to hierarchically nest the dataflow and FSM models of computation. With the two mo...
متن کاملSystems Modeling in Ptolemy
Synchronous Dataflow (SDF) is useful in modeling communications and signal processing systems. We describe a communication actor library based on the SDF semantics in Ptolemy II and show how to use these actors to simulate communication systems. However, many communication and signal processing systems nowadays use adaptive algorithms and control protocols. These sometimes violate SDF principle...
متن کاملModal Models in Ptolemy
Ptolemy is an open-source and extensible modeling and simulation framework. It offers heterogeneous modeling capabilities by allowing different models of computation to be composed hierarchically in an arbitrary fashion. This paper describes modal models, which allow to hierarchically compose finite-state machines with other models of computation, both untimed and timed. The semantics of modal ...
متن کامل